#!/bin/bash

make distclean
rm *.log
rm *.user

